}
else
{
result.append( prefix ).append( server.second() );
if ( server.first().isMaster() ) result.append( " is master" );
}
prefix = ", ";
}
else
{
result.append( prefix ).append( server.first() ).append( ": " ).append(
server.second() );
if ( server.first().isMaster() ) result.append( " is master" );
}
prefix = ", ";